航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

光纤嵌入法监测复合材料固化的研究

通过嵌入光纤对芳纶／五氧复合材料板及环氧树脂浇注体的固化进行初步研究，结果表明，光纤嵌入法能准确监测出浇注体及芳纶／环氧复合材料的瞬时固化情况。     

复合材料裙级间连接结构强度预测

针对复合材料裙级间螺栓-柱销连接结构试件,建立了三维有限元逐渐损伤模型。该模型可模拟试件损伤起始、发展及最终破坏的整个过程,并能较好预测试件破坏的模式和强度。该模型包括应力分析、失效判定准则和材料性能退化3个步骤,采用该模型对试件进行了损伤扩展分析和强度预测,计算结果与实验结果较吻合。     

偶联涂层处理对APMOC/环氧复合材料层间剪切性能的影响

介绍了溶剂、硅烷偶联剂浓度、含胶量等对APMOC/环氧层间剪切强度(ILSS)影响的研究结果,并初步探讨了其改性机理和涂层厚度控制的一些问题。     

碳/环氧复合材料钻孔刀具磨损机理研究

对高速钻削碳／环氧复合材料的刀具磨损特性、刀具磨损对钻削力的影响等进行了研究。结果表明：钻削彬环氧复合材料时，刀具磨损的原因主要是磨粒磨损（或质点磨损），随着刀具磨损的加剧，轴向力持续增加，扭矩的增加逐渐趋于平缓，因此控制刀具磨损是减小轴向力最有效的手段之一。     

用准光腔自动测试大面积介质复介电常数的平面分布

介绍了用准光腔法自动测量某大面积介质片上不同位置的复介电常数,并且做了误差分析.实验表明,此系统可在3 mm波段下对大面积材料的复介电常数分布进行测量,具有大面积、快速、不接触测量且分辨瑕疵的特点.误差范围为|△ε'/ε'|≤10%;|△tanδ |≤20%tanδ+1×10-4.     

氧化铍对铍材微屈服强度的影响

用粒度相同、不同BeO含量的铍粉开展了BeO对铍材微屈服强度（σmys)的研究；结果发现，与BeO含量相比，BeO在铍中的分布状态对σmys的影响更大。在晶界及晶内较小弥散分布的BeO对基体铍有弥散强化作用，使σmys较高；如果BeO较粗大地成簇状聚集在晶界，反而对σmys有不良的影响。     

复合材料补片胶接修补研究进展

介绍了复合材料补片胶接修补的优越性及关键技术，详细论述了复合材料补片胶接修补的设计分析以及修补的无损检测和试验验证，追踪报道了补片胶接修补的研究方法。     

复合材料RTM制造工艺数值模拟研究进展

纤维预制体的渗透性、孔穴或干斑的形成、残余应力的形成得影响成品质量的三个主要方面，本文对研究中存在的问题，进行了总结和评述。针对RTM工艺过程模拟中采用的控制方程，简要阐述了几种常用数值方法的特点。结合国内外RTM工艺过程数值模拟研究动态，指出了其发展方向。     

阻燃剂的应用与研究进展

阐述了阻燃材料与阻燃剂得以推广应用并迅速发展的主要原因；分析了应用于阻燃材料中的卤系、有机磷系、磷－氮系（又称膨胀型）或有机硅系等不同类型阻燃剂的阻燃特性及其适用范围；重点探讨了膨胀型阻燃剂的阻燃机理和阻燃特性，并介绍了相关产品的发展动向。为克服卤系阻燃剂的不足和提高环保效果，无卤、高效、低烟、低毒新型阻燃剂合成及其阻燃技术的研究是当今高分子阻燃材料的发展方向，特别是膨胀型阻燃剂和有机硅系阻燃剂的开发与应用将成为21世纪阻燃剂最活跃诉研究领域之一。